../dlv init.dl 3prepareTable.plan -silent -FP -FPsec